13

Testing and Monitoring Model-based Generated Program

Year:
2003
Language:
english
File:
PDF, 297 KB
english, 2003
17

Generating embedded software from hierarchical hybrid models

Year:
2003
Language:
english
File:
PDF, 348 KB
english, 2003
19

Run-Time Checking of Dynamic Properties

Year:
2006
Language:
english
File:
PDF, 324 KB
english, 2006
22

Generating Reliable Code from Hybrid-Systems Models

Year:
2010
Language:
english
File:
PDF, 1.91 MB
english, 2010
28

TLB Index-based Tagging for Reducing Data Cache and TLB Energy Consumption

Year:
2017
Language:
english
File:
PDF, 3.89 MB
english, 2017